#ifndef _RANDOM_H
#define _RANDOM_H

#include <types.h>

void srand(uint32_t seed);

uint32_t rand(void);

#endif /* _RANDOM_H */
